arm: fix build after c/s 25477:e12e0b038219
authorJan Beulich <jbeulich@suse.com>
Thu, 28 Jun 2012 14:04:12 +0000 (16:04 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 28 Jun 2012 14:04:12 +0000 (16:04 +0200)
commitc1f96709a67e3be8c030681cfecd131e23033dcc
treeab76cd52bc0f02ec6cacb1565ee2d444d0d785a4
parent6f372739cb383fb3ac0fcf0897bdaa89eacdf8f1
arm: fix build after c/s 25477:e12e0b038219

Only x86 currently has a struct vcpu field arch.gdbsx_vcpu_event. But
as the whole function domain_pause_for_debugger() is pointless to be
compiled when there's no arch support, simply introduce another HAS_*
macro, enabled only on x86.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/Rules.mk
xen/arch/x86/Rules.mk
xen/common/domain.c